G. Heunen: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Topos for Algebraic Quantum Theory

Chris Heunen, Nicolaas P. Landsman, Bas Spitters

Journal:

Communications in Mathematical Physics

Year:

2009

Language:

english

File:

PDF, 743 KB

english, 2009

2

Categories of quantum and classical channels

Coecke, Bob, Heunen, Chris, Kissinger, Aleks

Journal:

Quantum Information Processing

Year:

2016

Language:

english

File:

PDF, 7.31 MB

english, 2016

3

The Many Classical Faces of Quantum Structures

Journal:

Year:

2017

Language:

english

File:

PDF, 323 KB

english, 2017

4

Semimodule Enrichment

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 348 KB

english, 2008

5

Quantum Logic in Dagger Kernel Categories

Chris Heunen, Bart Jacobs

Journal:

Year:

2010

Language:

english

File:

PDF, 629 KB

english, 2010

6

Complementarity in Categorical Quantum Mechanics

Journal:

Foundations of Physics

Year:

2012

Language:

english

File:

PDF, 563 KB

english, 2012

7

Diagonalizing matrices over AW*-algebras

Heunen, Chris, Reyes, Manuel L.

Journal:

Journal of Functional Analysis

Year:

2013

Language:

english

File:

PDF, 277 KB

english, 2013

8

Active lattices determine AW*-algebras

Heunen, Chris, Reyes, Manuel L.

Journal:

Journal of Mathematical Analysis and Applications

Year:

2014

Language:

english

File:

PDF, 423 KB

english, 2014

9

Pictures of complete positivity in arbitrary dimension

Coecke, Bob, Heunen, Chris

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 295 KB

english, 2016

10

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Semantics for probabilistic programming

Staton, Sam, Yang, Hongseok, Wood, Frank, Heunen, Chris, Kammar, Ohad

Year:

2016

Language:

english

File:

PDF, 371 KB

english, 2016

11

Can a quantum state over time resemble a quantum state at a single time?

Horsman, Dominic, Heunen, Chris, Pusey, Matthew F., Barrett, Jonathan, Spekkens, Robert W.

Journal:

Proceedings Mathematical Physical & Engineering Sciences

Year:

2017

Language:

english

File:

PDF, 444 KB

english, 2017

12

Automated distribution of quantum circuits via hypergraph partitioning

Andrés-Martínez, Pablo, Heunen, Chris

Journal:

Physical Review A

Year:

2019

Language:

english

File:

PDF, 507 KB

english, 2019

13

Quantum Logic in Dagger Kernel Categories

Chris Heunen, Bart Jacobs

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 371 KB

english, 2011

14

Compacted UHMWPE fiber composites: Morphology and X-ray microdiffraction experiments

Liron Shavit-Hadar, Dmitry M. Rein, Rafail Khalfin, Ann E. Terry, Guido W. J. C. Heunen, Yachin Cohen

Journal:

Journal of Polymer Science Part B: Polymer Physics

Year:

2007

Language:

english

File:

PDF, 303 KB

english, 2007

15

Intuitionistic Quantum Logic of ann-level System

Martijn Caspers, Chris Heunen, Nicolaas P. Landsman, Bas Spitters

Journal:

Foundations of Physics

Year:

2009

Language:

english

File:

PDF, 655 KB

english, 2009

16

Arrows, like Monads, are Monoids

Chris Heunen, Bart Jacobs

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 300 KB

english, 2006

17

The glass transition of bulk metallic glasses studied by real-time diffraction in transmission using high-energy synchrotron radiation

A.R. Yavari, N. Nikolov, N. Nishiyama, T. Zhang, A. Inoue, J.L. Uriarte, G. Heunen

Journal:

Materials Science and Engineering: A

Year:

2004

Language:

english

File:

PDF, 128 KB

english, 2004

18

Noncommutativity as a Colimit

Berg, Benno, Heunen, Chris

Journal:

Applied Categorical Structures

Year:

2012

Language:

english

File:

PDF, 465 KB

english, 2012

19

Bohrification of operator algebras and quantum logic

Chris Heunen, Nicolaas P. Landsman, Bas Spitters

Journal:

Year:

2012

Language:

english

File:

PDF, 434 KB

english, 2012

20

Crystallization behaviour of Al87Ni7La6 and Al87Ni7Sm6 amorphous alloys

V. Rontó, L. Battezzati, A.R. Yavari, M. Tonegaru, N. Lupu, G. Heunen

Journal:

Scripta Materialia

Year:

2004

Language:

english

File:

PDF, 595 KB

english, 2004

21

Properties of FeNiB-based metallic glasses with primary BCC and FCC crystallisation products

J.L Uriarte, A.R Yavari, S Suriñach, P Rizzi, G Heunen, M Baricco, M.D Baró, A Kvick

Journal:

Journal of Magnetism and Magnetic Materials

Year:

2003

Language:

english

File:

PDF, 105 KB

english, 2003

22

In-the-beam metallic glass formation monitored by high-energy synchrotron radiation

J.L Uriarte, A.R Yavari, N Nishiyama, G Heunen, G Vaughan, Å Kvick, A Inoue

Journal:

Scripta Materialia

Year:

2003

Language:

english

File:

PDF, 144 KB

english, 2003

23

Real time synchrotron studies on amorphous Al85Ce5Ni8Co2 and Al85Y5Ni8Co2 alloys

Á Révész, G Heunen, L.K Varga, S Suriñach, M.D Baró

Journal:

Journal of Alloys and Compounds

Year:

2004

Language:

english

File:

PDF, 263 KB

english, 2004

24

Structural evolution and metastable phase detection in MgH2–5%NbH nanocomposite during in-situ H-desorption in a synchrotron beam

A.R Yavari, J.F.R de Castro, G Vaughan, G Heunen

Journal:

Journal of Alloys and Compounds

Year:

2003

Language:

english

File:

PDF, 542 KB

english, 2003

25

Relative Frobenius algebras are groupoids

Heunen, Chris, Contreras, Ivan, Cattaneo, Alberto S.

Journal:

Journal of Pure and Applied Algebra

Year:

2013

Language:

english

File:

PDF, 269 KB

english, 2013

26

[AIP GEOMETRY AND PHYSICS: XVI International Fall Workshop - Lisbon (Portugal) (5–8 September 2007)] AIP Conference Proceedings - The Principle of General Tovariance

Heunen, C., Landsman, N. P., Spitters, B., Fernandes, Rui Loja, Picken, Roger

Year:

2008

Language:

english

File:

PDF, 776 KB

english, 2008

27

Matrix multiplication is determined by orthogonality and trace

Heunen, Chris, Horsman, Clare

Journal:

Linear Algebra and its Applications

Year:

2013

Language:

english

File:

PDF, 171 KB

english, 2013

28

Characterizations of Categories of Commutative C*-Subalgebras

Journal:

Communications in Mathematical Physics

Year:

2014

Language:

english

File:

PDF, 325 KB

english, 2014

29

Erratum to: Noncommutativity as a Colimit

Benno van den Berg,Chris Heunen

Journal:

Applied Categorical Structures

Year:

2013

Language:

english

File:

PDF, 134 KB

english, 2013

30

Book review

Journal:

Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics

Year:

2014

Language:

english

File:

PDF, 129 KB

english, 2014

31

Quantum realization of arbitrary joint measurability structures

Kunjwal, Ravi, Heunen, Chris, Fritz, Tobias

Journal:

Physical Review A

Year:

2014

Language:

english

File:

PDF, 251 KB

english, 2014

32

Entangled and Sequential Quantum Protocols with Dephasing

Boixo, Sergio, Heunen, Chris

Journal:

Physical Review Letters

Year:

2012

Language:

english

File:

PDF, 336 KB

english, 2012

33

Quantum theory realizes all joint measurability graphs

Heunen, Chris, Fritz, Tobias, Reyes, Manuel L.

Journal:

Physical Review A

Year:

2014

Language:

english

File:

PDF, 133 KB

english, 2014

34

Microstructural evolution during decomposition and crystallization of the Cu60Zr20Ti20 amorphous alloy

Concustell, A., Révész, Á., Suriñach, S., Varga, L.K., Heunen, G., Baró, M.D.

Journal:

Journal of Materials Research

Year:

2004

Language:

english

File:

PDF, 1.83 MB

english, 2004

35

A Synchrotron Radiation Study of Plastic Zones Generated by Compressive Deformation in Zr-Based Metallic Glasses

Benameur, Tarek, Hajlaoui, K., Heunen, G.

Journal:

Journal of Metastable and Nanocrystalline Materials

Year:

2003

Language:

english

File:

PDF, 373 KB

english, 2003

36

Change in Thermal Expansion Coefficient of Bulk Metallic Glasses Tg Measured by Real-Time Diffraction Using High-Energy Synchrotron Light

Yavari, Alain Reza, Pang, S., Louzguine-Luzgin, Dmitri V., Inoue, Akihisa, Lupu, N., Nikolov, N., Heunen, G.

Journal:

Journal of Metastable and Nanocrystalline Materials

Year:

2003

Language:

english

File:

PDF, 318 KB

english, 2003

37

THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH

HEUNEN, CHRIS, LANDSMAN, NICOLAAS P., SPITTERS, BAS, WOLTERS, SANDER

Journal:

Journal of the Australian Mathematical Society

Year:

2011

Language:

english

File:

PDF, 173 KB

english, 2011

38

Categorical semantics for arrows

JACOBS, BART, HEUNEN, CHRIS, HASUO, ICHIRO

Journal:

Journal of Functional Programming

Year:

2009

Language:

english

File:

PDF, 291 KB

english, 2009

39

Reversible Monadic Computing

Heunen, Chris, Karvonen, Martti

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 315 KB

english, 2015

40

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - Domains of Commutative C-Subalgebras

Heunen, Chris, Lindenhovius, Bert

Year:

2015

Language:

english

File:

PDF, 280 KB

english, 2015

41

Microstructural evolution during decomposition and crystallization of the Cu60Zr20Ti20 amorphous alloy

Concustell, A., Révész, Á., Suriñach, S., Varga, L.K., Heunen, G., Baró, M.D.

Journal:

Journal of Materials Research

Year:

2004

Language:

english

File:

PDF, 1.83 MB

english, 2004

42

[IEEE Comput. Soc International Conference on Geometric Modeling and Graphics - London, UK (16-18 July 2003)] 2003 International Conference on Geometric Modeling and Graphics, 2003. Proceedings - Accurate silhouettes - do polyhedral models suffice?

Year:

2003

Language:

english

File:

PDF, 336 KB

english, 2003

43

SPIE Proceedings [SPIE SPIE's International Symposium on Optical Science, Engineering, and Instrumentation - San Diego, CA (Sunday 19 July 1998)] Crystal and Multilayer Optics - Broad energy band techniques for perturbation crystallography

Heunen, G. W. J. C., Puig-Molina, A., Scheres, S., Schulze-Briese, Clemens, Bourgeois, Dominique, Graafsma, Heinz, Macrander, Albert T., Freund, Andreas K., Ishikawa, Tetsuya, Mills, Dennis M.

Year:

1998

Language:

english

File:

PDF, 298 KB

english, 1998

44

LOGIC MEETS PHYSICS || Bohrification of operator algebras and quantum logic

Chris Heunen, Nicolaas P. Landsman and Bas Spitters

Journal:

Year:

2012

Language:

english

File:

PDF, 2.58 MB

english, 2012

45

Quantum Physics and Linguistics (A Compositional, Diagrammatic Discourse) || An Alternative Gospel of Structure: Order, Composition, Processes

Heunen, Chris, Sadrzadeh, Mehrnoosh, Grefenstette, Edward

Year:

2013

Language:

english

File:

PDF, 445 KB

english, 2013

46

Magnetic Properties and Phase Transformations of Bulk Amorphous Fe-Based Alloys Obtained by Different Techniques

Stoica, Mihai, Degmov&aacute, , Jarmila, Roth, Stefan, Eckert, J&uuml, rgen, Grahl, Helgard, Schultz, Ludwig, Yavari, Alain&nbsp, Reza, Kvick, &Aring, ke, Heunen, Guido

Journal:

MATERIALS TRANSACTIONS

Year:

2002

Language:

english

File:

PDF, 206 KB

english, 2002

47

Kinetics and Thermodynamics of Bulk Glass Formation in a Zr52.5Cu17.9Ni14.6Al10Ti5 Alloy

Motyka, Maciej, Gilardi, Enrica, Heunen, Guido, Baricco, Marcello

Journal:

MATERIALS TRANSACTIONS

Year:

2002

Language:

english

File:

PDF, 142 KB

english, 2002

48

The Category of Matroids

Heunen, Chris, Patta, Vaia

Journal:

Applied Categorical Structures

Year:

2017

Language:

english

File:

PDF, 769 KB

english, 2017

49

Quantum Physics and Linguistics (A Compositional, Diagrammatic Discourse) || Distributional Semantic Models

Heunen, Chris, Sadrzadeh, Mehrnoosh, Grefenstette, Edward

Year:

2013

Language:

english

File:

PDF, 409 KB

english, 2013

50

Denotational validation of higher-order Bayesian inference

Ścibior, Adam, Ghahramani, Zoubin, Kammar, Ohad, Vákár, Matthijs, Staton, Sam, Yang, Hongseok, Cai, Yufei, Ostermann, Klaus, Moss, Sean K., Heunen, Chris

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 428 KB

english, 2017